SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings (Lecture Notes in Computer Science)
by Willem Visser,John Penix,Klaus Havelund
ISBN 13: 9783540410300
Format: Paperback (343 pages) Publisher: Springer Published: 21 Aug 2000
Save for later